#include <stdarg.h>
#include <stdio.h>
#include <stdlib.h>

void __errPrint__ (const char *format, ...)
{
	va_list argList;
	va_start (argList, format);
	vfprintf (stderr, format, argList);
	va_end (argList);
}
